Previous | 
Home
Section: Partnerships and Cooperations
European Initiatives
FP7 & H2020 Projects
ACANTO
-
Title: ACANTO: A CyberphusicAl social NeTwOrk using robot friends
-
-
Atos Spain (Spain), Envitel Tecnologia Y Control S.A. (Spain), Foundation for Research and Technology Hellas (Greece), Servicio Madrileno Delud (Spain), Siemens Aktiengesellschaft Oesterreich (Austria), Telecom Italia S.P.A (Italy), Universita' Degli Studi di Siena (Italy), Universita Degli Studi di Trento (Italy), University of Northumbria At Newcastle. (United Kingdom)
-
-
Despite its recognised benefits, most older adults do not engage in a regular physical activity. The ACANTO project proposes a friendly robot walker (the FriWalk) that will abate a some of the most important barriers to this healthy behaviour. The FriWalk revisits the notion of robotic walking assistants and evolves it towards an activity vehicle. The execution of a programme of physical training is embedded within familiar and compelling every-day activities. The FriWalk operates as a personal trainer triggering the user actions and monitoring their impact on the physical and mental well-being. It offers cognitive and emotional support for navigation pinpointing risk situations in the environment and understanding the social context. It supports coordinated motion with other FriWalks for group activities. The FriWalk combines low cost and advanced features, thanks to its reliance on a cloud of services that increase its computing power and interconnect it to other assisted living devices. Very innovative is its ability to collect observations on the user preferred behaviours, which are consolidated in a user profile and used for recommendation of future activities. In this way, the FriWalk operates as a gateway toward a CyberPhysical Social Network (CPSN), which is an important contribution of the project. The CPSN is at the basis of a recommendation system in which users' profiles are created, combined into 'circles' and matched with the opportunity offered by the environment to generate recommendations for activities to be executed with the FriWalk support. The permanent connection between users and CPSN is secured by the FriPad, a tablet with a specifically designed user interface. The CPSN creates a community of users, relatives and therapists, who can enter prescriptions on the user and receive information on her/his state. Users are involved in a large number in all the phases of the system development and an extensive validation is carried out at the end.
Axel Legay and Olivier Zendra are the permanent researchers of Tamis involved in this project. The project supports two postdocs in Tamis.
DIVIDEND
-
Title: DIVIDEND: Distributed Heterogeneous Vertically IntegrateD Energy Efficient Data centres
-
-
École Normale Supérieure de Paris, Département d'Informatique (France); Inria (France); Ecole Polytechnique Fédérale de Lausanne, Computer & Communication Sciences (Switzerland); Queen's University of Belfast, School of Electronics, Electrical Engineering and Computer Science, Belfast (UK); University of Edinburgh, Scotland, (UK); University of Lancaster, School of Computing and Communications (UK); University Politehnica Timisoara, Department of Computer Engineering (Romania)
-
-
The DIVIDEND project (http://www.chistera.eu/projects/dividend) attacks the data centre energy efficiency bottleneck through vertical integration, specialization, and cross-layer optimization. Our vision is to present heterogeneous data centres, combining CPUs, GPUs, and task-specific accelerators, as a unified entity to the application developer and let the runtime optimize the utilization of the system resources during task execution. DIVIDEND embraces heterogeneity to dramatically lower the energy per task through extensive hardware specialization while maintaining the ease of programmability of a homogeneous architecture. To lower communication latency and energy, DIVIDEND refers a lean point-to-point messaging fabric over complex connection-oriented network protocols. DIVIDEND addresses the programmability challenge by adapting and extending the industry-led heterogeneous systems architecture programming language and runtime initiative to account for energy awareness and data movement. DIVIDEND provides for a cross-layer energy optimization framework via a set of APIs for energy accounting and feedback between hardware, compilation, runtime, and application layers. The DIVIDEND project will usher in a new class of vertically integrated data centres and will take a first stab at resolving the energy crisis by improving the power usage effectiveness of data centres.
Contributions of Inria in the project addresses the development of an energy aware distributed heterogeneous system (distributed HSA) between data center applications and HSA accelerators. It includes the design of a common API able to interface two tasks: the monitoring of the energy consumption, and the management of distributed heterogeneous hardware at a data center scale. The project ended by a project review the 23th March 2017, and the last contributions to the project ended the 30th September 2017.
One of the main contribution is the design of and energy-aware distributed heterogeneous system architecture framework (D-HSA) built using the combination of three major levels: the hardware platform based on an aggregation of HSA compliant devices, the system level based on device drivers and energy monitoring libraries, and finally the application layer using an extension of standard OpenCL programming model. This OpenCL extension is proposed as the main API for the energy-aware distributed HSA, and was made available for the tools and applications developed in the project.
A second contribution is the specification and the implementation of a distributed extension of the standard HSA Runtime API, and its functional validation on a basic system. The extension integrates the discovery, the management, and the execution of kernel computations on remote HSA agents in a distributed environment. The validation is based on an implementation using the Message Passing Interface (MPI) standard on an HSA compliant AMD machine. The Distributed HSA extension proposed offers a fully functional API for managing remote and distributed HSA agents, but at the cost of a limitation of the capability of the D-HSA system: the standard HSA memory model, based essentially on a coherent shared memory, is not supported for distributed HSA agents. As a primary implementation, focusing on a functional support of the new D-HSA verbs, this works tend to demonstrate that the extension is light and easy-to-use for a set of examples.
EMC2
-
Title: Embedded Multi-Core Systems for Mixed Criticality Applications in Dynamic and Changeable Real-Time Environments
-
-
Aicas (Germany) Avl Software and Functions (Germany), Denso Automotive Deutschland (Germany), Elektrobit Automotive (Germany), Evision Systems (Germany), Nxp Semiconductors Germany (Germany), Tttech Computertechnik (Austria), "kompetenzzentrum - Das Virtuelle Fahrzeug, Forschungsgesellschaft Mbh" (Austria), Frequentis (Austria), Thales Austria (Austria), Blueice Bvba (Belgium), Freescale Polovodice Ceska Republika Sro (Czech Republic), Sysgo Sro (Czech Republic), Silkan Rt (France), "united Technologies Research Centre Ireland," (Ireland), Mbda Italia Spa (Italy), Fornebu Consulting As (Norway), Westerngeco As (Norway), Simula Research Laboratory As (Norway), Ixion Industry and Aerospace Sl (Spain), Visure Solutions Sl (Spain), Seven Solutions Sl (Spain), Telvent Energia (Spain), Instituto Tecnologico de Informatica (Spain), Ambar Telecomunicaciones Sl (Spain), Sics Swedish Ict (Sweden), Arcticus Systems (Sweden), Arccore (Sweden), Xdin Stockholm (Sweden), Systemite (Sweden), Stichting Imec Nederland (Netherlands), Tomtom International Bv (Netherlands), Infineon Technologies Uk Ltd (United Kingdom), Sundance Multiprocessor Technology Ltd (United Kingdom), Systonomy (United Kingdom), Ensilica Ltd (United Kingdom), Test and Verification Solutions Ltd (United Kingdom), Abb (Sweden), Ait Austrian Institute of Technology (Austria), Alenia Aermacchi Spa (Italy), Avl List (Austria), Airbus Defence and Space (Germany), Bayerische Motoren Werke Aktiengesellschaft (Germany), Vysoke Uceni Technicke V Brne (Czech Republic), Commissariat A L Energie Atomique et Aux Energies Alternatives (France), Consorzio Interuniversitario Nazionale Per l'Informatica (Italy), Centro Ricerche Fiat (Italy), Critical Software (Portugal), Chalmers Tekniska Hoegskola (Sweden), Danfoss Power Electronics As (Denmark), Danmarks Tekniske Universitet (Denmark), Ericsson (Sweden), Fraunhofer-Gesellschaft Zur Foerderung Der Angewandten Forschung E.V (Germany), Hi Iberia Ingenieria Y Proyectos Sl (Spain), Harokopio University (Greece), Infineon Technologies Austria (Austria), Institut Mikroelektronickych Aplikaci S.R.O. (Czech Republic), Inesc Id - Instituto de Engenharia de Sistemas E Computadores, Investigacao E Desenvolvimento Em Lisboa (Portugal), Infineon Technologies (Germany), Integrasys (Spain), Instituto Superior de Engenharia Do Porto (Portugal), Kungliga Tekniska Hoegskolan (Sweden), Lulea Tekniska Universitet (Sweden), Magillem Design Servicess (France), Nxp Semiconductors Netherlands Bv (Netherlands), Offis E.V. (Germany), Philips Medical Systems Nederland Bv (Netherlands), Politecnico di Torino (Italy), Quobis Networks Sl (Spain), Rockwell Collins France (France), Rigas Tehniska Universitate (Latvia), Selex Es Spa (Italy), Siemens Aktiengesellschaft (Germany), Systematic Paris Region Association (France), Sysgo (Germany), Thales Alenia Space Italia Spa (Italy), "thales Alenia Space Espana," (Spain), Technolution B.V. (Netherlands), Fundacion Tecnalia Research & Innovation (Spain), Thales Communications & Securitys (France), Thales Avionicss (France), Thales (France), Nederlandse Organisatie Voor Toegepast Natuurwetenschappelijk Onderzoek Tno (Netherlands), Technische Universitat Braunschweig (Germany), Technische Universiteit Delft (Netherlands), Technische Universitat Dortmund (Germany), Technische Universitaet Kaiserslautern (Germany), Technische Universitaet Wien (Austria), Technische Universiteit Eindhoven (Netherlands), Universita Degli Studi di l'aquila (Italy), Universita Degli Studi di Genova (Italy), The University of Manchester (United Kingdom), University of Bristol (United Kingdom), University of Limerick (Ireland), "ustav Teorie Informace A Automatizace Av Cr, V.V.I." (Czech Republic), Universitetet I Oslo (Norway), Vector Fabrics Bv (Netherlands), Volvo Technology (Sweden)
-
-
Embedded systems are the key innovation driver to improve almost all mechatronic products with cheaper and even new functionalities. Furthermore, they strongly support today's information society as inter-system communication enabler. Consequently boundaries of application domains are alleviated and ad-hoc connections and interoperability play an increasing role. At the same time, multi-core and many-core computing platforms are becoming available on the market and provide a breakthrough for system (and application) integration. A major industrial challenge arises facing (cost) efficient integration of different applications with different levels of safety and security on a single computing platform in an open context. The objective of the EMC2 project (Embedded multi-core systems for mixed criticality applications in dynamic and changeable real-time environments) is to foster these changes through an innovative and sustainable service-oriented architecture approach for mixed criticality applications in dynamic and changeable real-time environments. The EMC2 project focuses on the industrialization of European research outcomes and builds on the results of previous ARTEMIS, European and National projects. It provides the paradigm shift to a new and sustainable system architecture which is suitable to handle open dynamic systems. EMC2 is part of the European Embedded Systems industry strategy to maintain its leading edge position by providing solutions for: . Dynamic Adaptability in Open Systems . Utilization of expensive system features only as Service-on-Demand in order to reduce the overall system cost. . Handling of mixed criticality applications under real-time conditions . Scalability and utmost flexibility . Full scale deployment and management of integrated tool chains, through the entire lifecycle Approved by ARTEMIS-JU on 12/12/2013 for EoN. Minor mistakes and typos corrected by the Coordinator, finally approved by ARTEMIS-JU on 24/01/2014. Amendment 1 changes approved by ECSEL-JU on 31/03/2015.
The permanent members of Tamis who are involved are Axel Legay and Olivier Zendra. The project was initiated during the lifetime of the ESTASYS.Inria team.
ENABLE-S3
-
Title: ENABLE-S3: European Initiative to Enable Validation for Highly Automated Safe and Secure Systems
-
-
Aalborg Universitet (Denmark); Airbus Defence And Space Gmbh (Germany); Ait Austrian Institute Of Technology Gmbh (Austria); Avl Deutschland Gmbh (Germany); Avl Software And Functions Gmbh (Germany); Btc Embedded Systems Ag (Germany); Cavotec Germany Gmbh (Germany); Creanex Oy( Finland); Ceske Vysoke Uceni Technicke V Praze (Czech Republic); Deutsches Zentrum Fuer Luft - Und Raumfahrt Ev (Germany); Denso Automotive Deutschland Gmbh (Germany); Dr. Steffan Datentechnik Gmbh (Austria); Danmarks Tekniske Universitet (Denmark); Evidence Srl (Italy); Stiftung Fzi Forschungszentrum Informatik Am Karlsruher Institut Fur Technologie (Germany); Gmv Aerospace And Defence Sa (Spain); Gmvis Skysoft Sa (Portugal); Politechnika Gdanska (Poland); Hella Aglaia Mobile Vision Gmbh (Germany); Ibm Ireland Limited (Ireland); Interuniversitair Micro-Electronica Centrum (Belgium); Iminds (Belgium); Institut National De Recherche Eninformatique Et Automatique (France); Instituto Superior De Engenharia Do Porto (Portugal); Instituto Tecnologico De Informatica (Spain); Ixion Industry And Aerospace Sl (Spain); Universitat Linz (Austria); Linz Center Of Mechatronics Gmbh (Austria); Magillem Design Services Sas (France); Magneti Marelli S.P.A. (Italy); Microeletronica Maser Slspain); Mdal (France); Model Engineering Solutions Gmbhgermany); Magna Steyr Engineering Ag & Co Kg (Austria); Nabto Aps (Denmark); Navtor As (Norway); Nm Robotic Gmbh (Austria); Nxp Semiconductors Germany Gmbh(Germany); Offis E.V.(Germany); Philips Medical Systems Nederland Bvnetherlands); Rohde & Schwarz Gmbh&Co Kommanditgesellschaft(Germany); Reden B.V. (Netherlands); Renault Sas (France); Rugged Tooling Oyfinland); Serva Transport Systems Gmbh(Germany); Siemens Industry Software Nvbelgium); University Of Southampton (Uk); Safetrans E.V. (Germany); Thales Alenia Space Espana, Saspain); Fundacion Tecnalia Research & Innovationspain); Thales Austria Gmbh (Austria); The Motor Insurance Repair Researchcentre (Uk); Toyota Motor Europe (Belgium); Nederlandse Organisatie Voor Toegepast Natuurwetenschappelijk Onderzoek Tno (Netherlands); Ttcontrol Gmbh (Austria); Tttech Computertechnik Ag (Austria); Technische Universiteit Eindhoven (Netherlands); Technische Universitat Darmstadt (Germany); Technische Universitaet Graz (Austria); Twt Gmbh Science & Innovation (Germany); University College Dublin, National University Of Ireland, Dublin (Ireland); Universidad De Las Palmas De Gran Canaria (Spain); Universita Degli Studi Di Modena E Reggio Emilia (Italy); Universidad Politecnica De Madrid (Spain); Valeo Autoklimatizace K.S. (Czech Republic); Valeo Comfort And Driving Assistance (France); Valeo Schalter Und Sensoren Gmbh (Germany); Kompetenzzentrum - Das Virtuelle Fahrzeug, Forschungsgesellschaft Mbh (Austria); Vires Simulationstechnologie Gmbh (Germany); Teknologian Tutkimuskeskus Vtt Oy (Finland); Tieto Finland Support Services Oy (Finland); Zilinska Univerzita V Ziline (Slovakia);
-
-
The objective of ENABLE-S3 (http://www.enable-s3.eu) is to establish cost-efficient cross-domain virtual and semi-virtual V&V platforms and methods for ACPS. Advanced functional, safety and security test methods will be developed in order to significantly reduce the verification and validation time but preserve the validity of the tests for the requested high operation range. ENABLE-S3 aspires to substitute today’s physical validation and verification efforts by virtual testing and verification, coverage-oriented test selection methods and standardization. ENABLE-S3 is use-case driven; these use cases represent relevant environments and scenarios. Each of the models, methods and tools integrated into the validation platform will be applied to at least one use case (under the guidance of the V&V methodology), where they will be validated (TRL 5) and their usability demonstrated (TRL6). Representative use cases and according applications provide the base for the requirements of methods and tools, as well as for the evaluation of automated systems and respective safety. This project is industry driven and has the objective of designing new technologies for autonomous transportation, including to secure them. Tamis tests its results on the case studies of the project.
Axel Legay and Jean-Louis Lanet are involved in this project. The project supports one postdoc in Tamis starting in 2017.
SUCCESS
-
Title: SUCCESS: SecUre aCCESSibility for the internet of things
-
The SUCCESS project ...The core idea of SUCCESS is to use formal methods and verification tools with a proven track record to provide more transparency of security risks for people in given IoT scenarios. Our core scientific innovation will consist on the extension of well-known industry-strength methods Our technological innovation will provide adequate tools to address risk assessment and adaptivity within IoT in healthcare environments and an open source repository to foster future reuse, extension and progress in this area. Our project will validate the scientific and technological innovation through pilots, one of which will be in collaboration with a hospital and will allow all stakeholders (e.g. physicians, hospital technicians, patients and relatives) to enjoy a safer system capable to appropriately handle highly sensitive information on vulnerable people while making security and privacy risks understandable and secure solutions accessible.
Within SUCCESS, the contribution of the TAMIS team consists in a framework for analyzing the security of a given IOT system, and notably whether it resists to attack. Our approach is to build a high-level model of the system, including vulnerabilities, as well as an attacker. We represent the set of possible attacks using an attack tree. Finally, we evaluate the probability that an attack succeeds using Statistical Model Checking.
In the TAMIS team, Axel Legay, Delphine Beaulaton, Najah Ben-Saïd and Jean Quilbeuf are involved in this project.
TeamPlay
-
Title: TeamPlay: Time, Energy and security Analysis for Multi/Many-core heterogeneous PLAtforms
-
-
Absint Angewandte Informatik Gmbh (Germany), Institut National De Recherche en Informatique et Automatique (France), Secure-Ic Sas (France), Sky-Watch A/S (Danemark), Syddansk Universitet (Danemark), Systhmata Ypologistikis Orashs Irida Labs Ae (Greece), Technische Universität Hamburg-Harburg (Germany), Thales Alenia Space Espana (Spain), Universiteit Van Amsterdam (Netherlands), University Of Bristol (UK), University Of St Andrews (UK)
-
-
The TeamPlay (Time, Energy and security Analysis for Multi/Many-core heterogeneous PLAtforms) project federates 6 academic and 5 industrial partners and aims to develop new, formally-motivated, techniques that will allow execution time, energy usage, security, and other important non-functional properties of parallel software to be treated effectively, and as first- class citizens. We will build this into a toolbox for developing highly parallel software for low-energy systems, as required by the internet of things, cyber-physical systems etc. The TeamPlay approach will allow programs to reflect directly on their own time, energy consumption, security, etc., as well as enabling the developer to reason about both the functional and the non-functional properties of their software at the source code level. Our success will ensure significant progress on a pressing problem of major industrial importance: how to effectively manage energy consumption for parallel systems while maintaining the right balance with other important software metrics, including time, security etc. The project brings together leading industrial and academic experts in parallelism, energy modeling/ transparency, worst-case execution time analysis, non-functional property analysis, compilation, security, and task coordination. Results will be evaluated using industrial use cases taken from the computer vision, satellites, flying drones, medical and cyber security domains. Within TeamPlay, Inria and TAMIS coordinate the whole project, while being also in charge of aspects related more specifically to security.
The permanent members of Tamis who are involved are Axel Legay, Olivier Zendra and Annelie Heuser.